
$default-font: Ovo, Georgia, STZhongsong, "Microsoft YaHei", serif;
$mono-font: "Source Code Pro", Consolas, Monaco, Menlo, Consolas, monospace;
$title-font: "Open Sans", "DejaVu Sans", "Sans", sans-serif;

$border-gray: #e0e0dc;

$background-lightgray: #f8f8f7;